Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability

Mathematical Notes - It is proved that basic predicate calculus BQC is not sound with respect to the strong variant of strictly primitive recursive realizability.     

The Initial Stages of the Onset of a Corona Discharge in a Wet Oxide Layer During the Passage of a High Voltage Current

Russian Physics Journal - The physical and chemical processes occurring in non-metallic inorganic porous coatings during the passage of a high-voltage alternating sinusoidal current through the...     

Surfactant micelles as a possible template for radical polymerization: evaluation using ESR spectroscopy

Russian Chemical Bulletin - The results of studying the interaction of iogenic surfactant micelles with oppositely charged monomers using spin probe ESR spectroscopy were generalized to assess a...     

Radiative Characteristics of Shock-Heated Oxygen

Journal of Applied Spectroscopy - The emission spectra of oxygen behind the front of a strong shock wave were studied in the range of shock wave speeds of 5.7–7.4 and 8.1–10.0 km/s at...     

Numerical Simulation of Physical Fields by the Collocation Method

Russian Physics Journal - The article describes the collocation method for the numerical solution of mathematical physics boundary value problems. By arranging the collocation nodes in a special...     

单层MXene纳米片Ti2N电磁特性的过渡金属(Sc、V、Zr)掺杂效应

二维材料MXene纳米片由于具有较大的比表面积和较高的电子迁移率而受到广泛的关注。本文采用基于密度泛函理论的第一性原理计算,对单层MXene纳米片Ti₂N电磁特性的过渡金属(Sc、V、Zr)掺杂效应进行了系统研究。结果表明,所有过渡金属掺杂体系结合能均为负值,结构均稳定;其中Ti₂N-Sc体系的形成能为-2.242 eV,结构更易形成,且保持稳定;掺杂后Ti₂N-Sc、Ti₂N-Zr体系磁矩增大;此外,Ti₂N-Sc体系中保留了较高的自旋极化率,达到84.9%,可预测该体系在自旋电子学中具有潜在的应用价值。     

Formation of Structural,Physical and Adhesion Properties in Calcium-Phosphate Biocoatings in the Course of Microarc Oxidation Using Fe–Cu Nanocomposite Particles

Russian Physics Journal - A method for modification of calcium-phosphate coatings, formed by microarc oxidation, with Fe–Cu nanocomposite bicomponent particles is proposed. The effect of...     

Three-Dimensional Structure of Thermostable D-Amino Acid Transaminase from the Archaeon Methanocaldococcus jannaschii DSM 2661

Crystallography Reports - Pyridoxal 5′-phosphate (PLP)-dependent transaminases catalyze the stereospecific amino-group transfer from an amino acid or amine to ketone or keto acid....     

New ANCF solid-beam element: relationship with Bézier volume and application on leaf spring modeling

Acta Mechanica Sinica - An eight-node solid-beam element based on absolute nodal coordinate formulation (ANCF) which uses cubic interpolation at the longitudinal direction and linear at the...     

Sobolev-Lorentz范数约束下的次临界型Adams不等式

本文在Sobolev-Lorentz空间W²L^2,q(R⁴)的范数约束下得到了一个最佳的二阶次临界型Adams不等式.进一步,当次临界指标逼近最佳常数时,得到了Adams泛函的上、下界的估计.本文主要采用了Lam和Lu[A new approach to sharp MoserTrudinger and Adams type inequalities:a rearrangement-free argument,J.Diff Equ.,2013,255(3):298-325]的分割水平集方法.